- импликативная нормальная форма
- adj
IT. forme implicative normale
Dictionnaire russe-français universel. 2013.
импликативная нормальная форма
Regardez d'autres dictionnaires:
ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА — пропозициональная форма вида где все С i, i=1, . . . , п, имеют вид каждое С ij, i=1, . . ., п; j=1, . . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
